function punch - German English Dictionary